SAMUEL R. BUSS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logical Dilemmas: The Life and Work of Kurt Gödelby Kurt Godel; John W. Dawson,

Review by: Samuel R. Buss

Journal:

Year:

1998

Language:

english

File:

PDF, 508 KB

english, 1998

2

What Is Temperament Now? Assessing Progress in Temperament Research on the Twenty-Fifth Anniversary of Goldsmith et al. ()

Rebecca L. Shiner, Kristin A. Buss, Sandee G. McClowry, Samuel P. Putnam, Kimberly J. Saudino, Marcel Zentner

Journal:

Child Development Perspectives

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

3

3 - D Computer Graphics: A Mathematical Introduction with OpenGL

Journal:

School Science and Mathematics

Year:

2009

Language:

english

File:

PDF, 75 KB

english, 2009

4

Accurate and Efficient Simulation of Rigid-Body Rotations

Journal:

Journal of Computational Physics

Year:

2000

Language:

english

File:

PDF, 149 KB

english, 2000

5

The undecidability of k-provability

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.86 MB

english, 1991

6

Intuitionistic validity in T-normal Kripke structures

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 1.05 MB

english, 1993

7

Separation results for the size of constant-depth propositional proofs

Arnold Beckmann, Samuel R. Buss

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 355 KB

english, 2005

8

Spherical averages and applications to spherical splines and interpolation

Buss, Samuel R., Fillmore, Jay P.

Journal:

ACM Transactions on Graphics

Year:

2001

Language:

english

File:

PDF, 209 KB

english, 2001

9

Polynomial Size Proofs of the Propositional Pigeonhole Principle

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 269 KB

english, 1987

10

Recombinant tissue plasminogen activator in acute thrombotic and embolic stroke

Dr. Gregory J. del Zoppo, Klaus Poeck, Michael S. Pessin, Samuel M. Wolpert, Anthony J. Furlan, Andreas Ferbert, Mark J. Alberts, Justin A. Zivin, Lawrence Wechsler, Otto Busse, Ralph Greenlee Jr, Law

Journal:

Annals of Neurology

Year:

1992

Language:

english

File:

PDF, 928 KB

english, 1992

11

Propositional consistency proofs

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.85 MB

english, 1991

12

Unprovability of consistency statements in fragments of bounded arithmetic

Samuel R. Buss, Aleksandar Ignjatović

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

13

Relating the bounded arithmetic and polynomial time hierarchies

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 711 KB

english, 1995

14

Selectively Damped Least Squares for Inverse Kinematics

Buss, Samuel R., Kim, Jin-Su

Journal:

Journal of Graphics GPU and Game Tools

Year:

2005

Language:

english

File:

PDF, 544 KB

english, 2005

15

POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC

BECKMANN, ARNOLD, BUSS, SAMUEL R.

Journal:

Journal of Mathematical Logic

Year:

2009

Language:

english

File:

PDF, 433 KB

english, 2009

16

[Studies in Logic and the Foundations of Mathematics] Handbook of Proof Theory Volume 137 || An Introduction to Proof Theory

Buss, Samuel R.

Year:

1998

Language:

english

File:

PDF, 4.03 MB

english, 1998

17

On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics

Buss, Samuel R.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 1.32 MB

english, 1994

18

Feasible Mathematics || Parity and the Pigeonhole Principle

Buss, Samuel R., Scott, Philip J.

Year:

1990

Language:

english

File:

PDF, 1.79 MB

english, 1990

19

Resource-bounded continuity and sequentiality for type-two functionals

Buss, Samuel R., Kapron, Bruce M.

Journal:

ACM Transactions on Computational Logic

Year:

2002

Language:

english

File:

PDF, 167 KB

english, 2002

20

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Schwichtenberg, Helmut, Keilis-Borok, Vladimir, Buss, Samuel

Journal:

Oberwolfach Reports

Year:

2005

Language:

english

File:

PDF, 338 KB

english, 2005

21

The modal logic of pure provability.

Buss, Samuel R.

Journal:

Notre Dame Journal of Formal Logic

Year:

1990

Language:

english

File:

PDF, 712 KB

english, 1990

22

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 218 KB

english, 2016

23

3-D Computer Graphics (A Mathematical Introduction with OpenGL) || Introduction

Buss, Samuel R.

Year:

2003

Language:

english

File:

PDF, 224 KB

english, 2003

24

The quantifier complexity of polynomial-size iterated definitions in first-order logic

Samuel R. Buss, Alan S. Johnson

Journal:

Mathematical Logic Quarterly

Year:

2010

Language:

english

File:

PDF, 208 KB

english, 2010

25

Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle

Samuel R Buss, Toniann Pitassi

Journal:

Journal of Computer and System Sciences

Year:

1998

Language:

english

File:

PDF, 377 KB

english, 1998

26

The graph of multiplication is equivalent to counting

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 236 KB

english, 1992

27

Size-depth tradeoffs for Boolean formulae

Maria Luisa Bonet, Samuel R. Buss

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 378 KB

english, 1994

28

Resolution proofs of generalized pigeonhole principles

Samuel R. Buss, Gyo&amp, #x030B, rgy Turán

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 690 KB

english, 1988

29

Preface

Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 235 KB

english, 2009

30

Polynomial-size Frege and resolution proofs of st-connectivity and Hex tautologies

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 326 KB

english, 2006

31

The NP-hardness of finding a directed acyclic graph for regular resolution

Samuel R. Buss, Jan Hoffmann

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 293 KB

english, 2008

32

On the computational content of intuitionistic propositional proofs

Samuel R Buss, Pavel Pudlák

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 115 KB

english, 2001

33

Ordinal notations and well-orderings in bounded arithmetic

Arnold Beckmann, Chris Pollett, Samuel R. Buss

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 244 KB

english, 2003

34

Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]

Arnold Beckmann, Samuel R. Buss, Chris Pollett

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 54 KB

english, 2003

35

Bounded arithmetic, proof complexity and two papers of Parikh

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 1013 KB

english, 1999

36

Incompleteness of Behavioral Logics

Samuel Buss, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 905 KB

2000

37

Pool resolution is NP-hard to recognize

Journal:

Archive for Mathematical Logic

Year:

2009

Language:

english

File:

PDF, 290 KB

english, 2009

38

Collision detection with relative screw motion

Journal:

The Visual Computer

Year:

2005

Language:

english

File:

PDF, 1.98 MB

english, 2005

39

On truth-table reducibility to SAT

Samuel R. Buss, Louise Hay

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 995 KB

english, 1991

40

Computability in Europe 2009

Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

41

Lower complexity bounds in justification logic

Samuel R. Buss, Roman Kuznets

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 315 KB

english, 2012

42

Towards – via proof complexity and search

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

43

Corrected upper bounds for free-cut elimination

Arnold Beckmann, Samuel R. Buss

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 275 KB

english, 2011

44

Relative reactivity of lysine and other peptide-bound amino acids to oxidation by hypochlorite

Zachary D Nightingale, Antonio H Lancha Jr., Samuel K Handelman, Gregory G Dolnikowski, Scott C Busse, Edward A Dratz, Jeffrey B Blumberg, Garry J Handelman

Journal:

Free Radical Biology and Medicine

Year:

2000

Language:

english

File:

PDF, 223 KB

english, 2000

45

Propositional proofs and reductions between search problems

Samuel R. Buss, Alan S. Johnson

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 349 KB

english, 2012

46

Weathering of the Rio Blanco quartz diorite, Luquillo Mountains, Puerto Rico: Coupling oxidation, dissolution, and fracturing

Heather L. Buss, Peter B. Sak, Samuel M. Webb, Susan L. Brantley

Journal:

Geochimica et Cosmochimica Acta

Year:

2008

Language:

english

File:

PDF, 2.18 MB

english, 2008

47

Bounded Arithmetic, Cryptography and Complexity

Journal:

Year:

1997

Language:

english

File:

PDF, 895 KB

english, 1997

48

Linear and Time Minimum-Cost Matching Algorithms for Quasi-Convex Tours

Buss, Samuel R., Yianilos, Peter N.

Journal:

SIAM Journal on Computing

Year:

1998

Language:

english

File:

PDF, 469 KB

english, 1998

49

The Serial Transitive Closure Problem for Trees

Bonet, Maria Luisa, Buss, Samuel R.

Journal:

SIAM Journal on Computing

Year:

1995

Language:

english

File:

PDF, 1.70 MB

english, 1995

50

The role of rhinovirus in asthma exacerbations

Friedlander, Samuel L., Busse, William W.

Journal:

Journal of Allergy and Clinical Immunology

Year:

2005

Language:

english

File:

PDF, 253 KB

english, 2005